categorical grammar

un. 范畴文法
[网络] 范畴语法